81. First European Solid State Circuits Conference, ESSCIRC, 2-5 September 1975
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Semiconductors-- Congresses,، Integrated circuits-- Congresses,، Logic circuits-- Congresses
Classification :
TK
7871
.
85
.
E887
1975
82. Formal VLSI correctness Verification VLSI Design methods II
Author: / edited by Luc J. M. Claesen
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Integrated Circuits -- Very large scale integration -- Desige and construction -- Data processing - Congresses,Integrated circuits -- very large scale integaration -- Design and construction -- Data processing -- Congresses
Classification :
TK
7874
.
I3283
1989
83. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
Author: Mandayam Srivas, Albert Camilleri, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1166
84. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Author: Ganesh Gopalakrishnan, Philip Windley )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1522
85. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Author: Alan J. Hu, Andrew K. Martin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
Classification :
QA
76
.
L28
Vol
.
3312
86. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
Author: Mark D. Aagaard, John W. O'Leary )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
Classification :
QA
76
.
L28
Vol
.
2517
87. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
Author: Warren A. Hunt, Jr., Steven D. Johnson )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1954
88. Fundamentals of Digital Circuits
Author: Ramayya Kumar
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Digital integrated circuits - Computer-aided design,Congresses ، Automatic theorem proving
Classification :
TK
7874
.
65
.
F23
A54
89. GLSVLSI '06 : Proceedings of the 2006 ACM Great Lakes Symposium on VLSI Holiday Inn, Historic District, Philadelphia, Pennsylvania, USA, April 30-May 2, 2006
Author: sponsored by sigda; with technical support from IEEE...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Nanotechnology
Classification :
TK
7874
.
75
.
G7
2006
90. GLSVLSI'03 : VLSI in the nanometer era : proceedings of the 2003 ACM Great Lakes Symposium on VLSI, Radisson Barcelo Hotel, Washington, D.C., USA, April 28-29, 2003
Author: sponsored by ACM SIGDA; with technical support from IEEE,... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Nanotechnology
Classification :
TK
7874
.
75
.
G7
2003
91. GLSVLSI'04 : VLSI in the nanometer era : proceedings of the 2004 ACM Great Lakes Symposium on VLSI, Radisson Hotel, Boston, MA, USA, April 26-28, 2004
Author: sponsored by sigda; with technical support from : IEEE...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Nanotechnology
Classification :
TK
7874
.
75
.
G7
2004
92. GLSVLSI 2001 : proceedings 2001, eleventh Great Lakes Symposium on VLSI, Purdue University, West Lafayette, Indiana, march 22-23, 2001
Author: sponsored by ACM Special Interest Group on Design Automation )SIGDA(, Purdue University, Department of Electrical and Computer Engineering, Intel Corporation
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration
Classification :
TK
7874
.
75
.
G7
2001
93. GLSVLSI'05 : proceedings of the 2005 ACM Great Lakes Symposium on VLSI, Radisson Hotel Downtown, Chicago, Illinois, USA, April 17-19, 2005
Author: sponsored by SIGDA; with technical support from IEEE... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Nanotechnology
Classification :
TK
7874
.
75
.
G7
2005
94. GLSVLSI'07 : proceedings of the 2007 ACM Great Lakes Symposium on VLSI, Stresa-Lago Maggiore, Italy, March 11-13, 2007
Author: sponsored by sigda; with technical support from: IEEE CAS & CEDA and corporate support from: STMicroelectronics
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Nanotechnology
Classification :
TK
7874
.
75
.
G7
2007
95. GLSVLSI' 02 : proceedings of the 12th ACM Great Lakes Symposium on VLSI, Holiday Inn Martinique, New York City, New York, USA, April 18-20, 2002
Author: sponsored by ACM Special Interest Group on Design Automation )SIGDA( and supported by Computer Science...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Integrated circuits -- Large scale integration
Classification :
TK
7874
.
75
.
G7
2002
96. GaAs IC symposium)IEEE Gallium Arsenide integrated circuits symposium(
Author: Technical digest)Monterey,California;November 21-41,5891(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits-congresses,، Gallium arsenide semiconductors-congresses,، Microwave integrated circuits-congresses
Classification :
TK
7874
.
I323
1985
97. GaAs IC symposium)IEEE Gallium arsende integrated circuits symposium(
Author: Technical gigest 9891)11th:Saindiego,California:October 22-52,9891(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits-congresses,، Gallium arsenide semiconductors-congresses,، Microwave integrated circuits-congresses
Classification :
TK
7874
.
I323
1989
98. GaAs Ic symposium )IEEE Gallium arsenide integrated circuits symposium(
Author: Technical digest 3991 )51th:San Jose,California:october 01-31,3991(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits-congresses,، Galliumarsenide semiconductors-congresses,، Microwave integrated circuits-congresses
Classification :
TK
7874
.
I323
1993
99. General design analysis, considerations and applications: presented at the Third Biennial World Conference on integrated Design and Process Technology, Berlin Germany, July, 5-9, 1998
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Integrated circuits,Congresses ، Electronic circuit design
Classification :
TK
7874
.
B54
1998
100. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
Author: M. Leeser, G. Brown, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
Classification :
QA
76
.
L28
Vol
.
408
